modal equivalence